Type theory - PDFSEARCH.IO - Document Search Engine

Type theory
Results: 3552

#	Item
681	ACM SIGPLAN Continuation Workshop Saturday, September 24, 2011 Tokyo, Japan (co-located with ICFP) Session 1 (chair: Yukiyoshi Kameyama) 9:00–10:00 Continuations and classical logic: using continuations as a tool for l Add to Reading List Source URL: logic.cs.tsukuba.ac.jp Language: English - Date: 2011-09-18 11:21:43 Lambda calculus Type theory Functional programming Control flow Continuations Delimited continuation Curry–Howard correspondence Typed lambda calculus Monad Software engineering Computing Computer programming
682	localrecoding-sigkddExp.dvi Add to Reading List Source URL: www.cs.sfu.ca Language: English - Date: 2007-03-08 12:15:17 Information Mathematical notation Tuple Type theory Synthetic data Mean Data analysis Data mining Data management Mathematics Science
683	Logical- and Meta-Logical Frameworks Lecture 3 Carsten Sch¨ urmann August 9, 2006 Add to Reading List Source URL: www.itu.dk Language: English - Date: 2006-08-09 04:38:59 Mathematical logic Programming language theory Dependently typed programming Twelf Logical framework Boolean algebra Propositional calculus Specific Area Message Encoding Functional completeness Logic in computer science Theoretical computer science Type theory
684	Diabetes Care Volume 37, Auguste169 Virtual Look AHEAD Program: Initial Support for a Partly Virtualized Intensive Add to Reading List Source URL: sdtheory.s3.amazonaws.com Language: English - Date: 2015-03-04 09:58:43 Diabetes Obesity Bariatrics Body shape Diabetes mellitus type 2 Diabetes management American Diabetes Association Weight loss Self-determination theory Health Nutrition Medicine
685	ForSpec ForSpec Reference Manual June 24, 2001 Add to Reading List Source URL: www.cs.rice.edu Language: English - Date: 2007-06-26 03:17:52 C programming language Data types Boolean algebra FO Finite model theory C syntax C Enumerated type Bit array Computing Computer programming Software engineering
686	Computational Effects across Generated Binders Part 1: Problems and solutions Yukiyoshi Kameyama Oleg Kiselyov University of Tsukuba Add to Reading List Source URL: okmij.org Language: English - Date: 2011-12-02 22:36:27 Data types Procedural programming languages Type theory Program analysis Type system Generator C Anonymous function List comprehension Computing Software engineering Computer programming
687	Microsoft Word - pcaxis_metadata_2006.doc Add to Reading List Source URL: www.stat.fi Language: English - Date: 2013-04-30 06:42:56 Type theory Variables File format SQL Metadata Keyword Computing Software engineering Computer file formats
688	Centre de Recherches Mathématiques CRM Proceedings and Lecture Notes Volume 53, 2011 The Strict ω-Groupoid Interpretation of Type Theory Michael A. Warren Add to Reading List Source URL: mawarren.net Language: English - Date: 2013-08-22 15:46:58 Homotopy theory Algebraic topology Algebraic structures Higher category theory Groupoid Functor Adjoint functors Sheaf Natural transformation Abstract algebra Category theory Mathematics
689	F# Succinct, Expressive, Functional The F# Team Microsoft Developer Division Microsoft Research Add to Reading List Source URL: www.erlang-factory.com Language: English - Date: 2011-09-19 06:17:30 Mathematical notation Tuple Type theory Function Fold Mathematics Higher-order functions Data management
690	Extra May, 2011 Date of Issue: May 2, 2011 Superconductivity Web21 Superconductivity Add to Reading List Source URL: www.istec.or.jp Language: English - Date: 2013-03-16 02:46:00 Matter High-temperature superconductivity Unconventional superconductor American Superconductor Pseudogap BCS theory Type-I superconductor Physics Condensed matter physics Superconductivity

UPDATE